jade.content.abs
Class AbsProposition

java.lang.Object
  |
  +--jade.content.abs.AbsObject
        |
        +--jade.content.abs.AbsContentElement
              |
              +--jade.content.abs.AbsProposition

Direct Known Subclasses:

AbsActionPredicate, AbsEquals, AbsHigherOrderPredicate, AbsIRE, AbsPredicate

public class AbsProposition

extends AbsContentElement

Author:

Federico Bergenti - Universita` di Parma

See Also:

Serialized Form

Constructor Summary

AbsProposition(java.lang.String name)
Constructor

Methods inherited from class jade.content.abs.AbsObject

dump, dump, getAbsObject, getCount, getNames, getTypeName, isGrounded, set

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbsProposition

public AbsProposition(java.lang.String name)

Constructor

Parameters:

name - the name of the proposition.